2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday (Lecture Notes in Computer Science Programming and Software Engineering)
Автор:
Andreas Blass
, Автор:
Nachum Dershowitz
, Автор:
Wolfgang Reisig
Размер книги: 5.84 Mb
Computer Science Logic, 7 conf., CSL '93
Автор:
Egon Börger
, Автор:
Yuri Gurevich
, Автор:
Karl Meinke
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 2.87 Mb
Abstract State Machines, Theory and Applications, ASM 2000
Автор:
Yuri Gurevich
, Автор:
Philipp W. Kutter
, Автор:
Martin Odersky
, Автор:
Lothar Thiele
Категория:
CsLn_
Размер книги: 3.80 Mb
Tests and Proofs, 1 conf., TAP 2007
Автор:
Bertrand Meyer
, Автор:
Yuri Gurevich
Категория:
CsLn_
Размер книги: 4.38 Mb
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science)
Автор:
Yuri Gurevich
, Автор:
Philipp W. Kutter
, Автор:
Martin Odersky
, Автор:
Lothar Thiele
Категория:
Computer Science
,
Computer Science
Размер книги: 3.75 Mb
